Software assurance

Results: 2574



#Item
101Computer security / Evaluation / Security / Crime prevention / Software quality / Data security / Evaluation Assurance Level / Common Criteria / Software assurance / Protection Profile / Validation / National Information Assurance Partnership

Sumeet.Malhotra.Software Assurance Challenges for Systems Integrators.ppt

Add to Reading List

Source URL: swa.omg.org

Language: English - Date: 2006-12-14 08:55:14
102

Automatic Software Quality Assurance Laura Ureche Faculty of Automatic Control and Computer Science “POLITEHNICA” University of Bucharest

Add to Reading List

Source URL: womencourage.acm.org

Language: English - Date: 2016-02-05 15:45:18
    103Quality assurance / Software assurance / Software quality / Unified Modeling Language

    PDF Document

    Add to Reading List

    Source URL: swa.omg.org

    Language: English - Date: 2006-03-22 14:16:03
    104Unified Modeling Language / Computing / Evaluation / Software engineering / ISO standards / Quality assurance / Software assurance / Software quality / Object Management Group / Semantics of Business Vocabulary and Business Rules / Common Criteria / NI

    PDF Document

    Add to Reading List

    Source URL: swa.omg.org

    Language: English - Date: 2006-12-14 08:54:30
    105

    DoD Software Assurance Initiative Mitchell Komaroff, OASD (NII)/DCIO Agenda θ θ

    Add to Reading List

    Source URL: sysa.omg.org

    Language: English - Date: 2009-01-26 14:44:39
      106

      Quality Assurance Engineer At Symphono, we are passionate about software and have deep experience in helping our clients use it to turn their ideas into a strategic advantage. Founded in 2002, Symphono is a custom softwa

      Add to Reading List

      Source URL: symphono.com

      Language: English - Date: 2013-09-06 13:15:17
        107

        Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants Nuno Macedo, Hugo Pacheco, and Alcino Cunha HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho,

        Add to Reading List

        Source URL: alfa.di.uminho.pt

        Language: English - Date: 2014-11-03 12:05:24
          108

          Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011

          Add to Reading List

          Source URL: alfa.di.uminho.pt

          Language: English - Date: 2014-11-03 12:05:18
            109

            DoD Software Assurance Initiative Mitchell Komaroff, OASD (NII)/DCIO Agenda θ θ

            Add to Reading List

            Source URL: swa.omg.org

            Language: English - Date: 2006-03-22 14:16:20
              110

              Enabling Software Assurance for DoD NCW Environments Bob Stow VP Engineering & Technology BAE Systems Inc

              Add to Reading List

              Source URL: sysa.omg.org

              Language: English - Date: 2009-01-26 14:44:39
                UPDATE